Большой энциклопедический словарь - куайн

(Quine) Уиллард ван Орман (р. 1908), американский логик, математик и философ, представитель т. н. неопрагматизма, или логического прагматизма. Труды по построению аксиоматической системы, включающей логику классов, логической семантике и модальной логике, философии математики.